Finite-state machine

Results: 655



#Item
221Software engineering / Concurrency / Automata theory / Diagrams / Petri net / Markov chain / Model checking / Fault tree analysis / Finite-state machine / Models of computation / Systems engineering / Statistics

Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique

Add to Reading List

Source URL: altarica.fr

Language: English - Date: 2013-08-01 09:29:48
222Behavior / Human behavior / Automated planning and scheduling / Reactive planning / Finite-state machine / Application programming interface / Intelligent tutoring system / Action / Education / Automata theory / Digital electronics / Models of computation

An AI Modeling Tool for Designers and Developers Dan Fu, Ryan Houlette, and Jeremy Ludwig Stottler Henke Associates, Inc. 951 Mariners Island Blvd, Suite 360 San Mateo, CA 94404 {fu, houlette, ludwig}@stottlerhenke.com

Add to Reading List

Source URL: www.stottlerhenke.com

Language: English - Date: 2008-01-19 05:59:59
223Büchi automaton / Finite-state machine / Deterministic automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Unambiguous Finite Automata ¨ Christof Loding Department of Computer Science RWTH Aachen University, Germany

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-06-27 09:04:03
224Computing / Knowledge representation / Software engineering / Frame / Computer science / Thread / UML state machine / Call stack / Finite-state machine / Models of computation / Automata theory / Digital electronics

User Guide ioflo version[removed]Document Revision[removed]Samuel M. Smith PhD 242 East 600 North Lindon

Add to Reading List

Source URL: ioflo.com

Language: English - Date: 2015-01-09 12:59:21
225Automata theory / Computer programming / Finite-state machine / Parallel computing / Complex event processing / Pattern matching / Stream processing / SQL / Regular expression / Computing / Software engineering / Models of computation

RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2013-05-21 16:31:01
226Automata theory / Models of computation / Finite-state machine

Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-10-24 06:57:04
227Battalion / Operations research / Simulation / Finite-state machine

Interservice/Industry Training, Simulation, and Education Conference (I/ITSEC[removed]Techniques for Automatic AAR for Tactical Simulation Training Richard Stottler Stottler Henke Associates, Inc. San Mateo, CA

Add to Reading List

Source URL: www.stottlerhenke.com

Language: English - Date: 2003-08-20 18:49:12
228Tamagotchi / Embedded system / Extension / Timer / Finite-state machine / Software development methodology / Software / Diagrams / Specification and Description Language

Seminar - Tool aided modeling of a “Tamagotchi” U N I V E R S I T ÄT K A I S E R S L A U T E RN Tamagotchi in ObjectGEODE

Add to Reading List

Source URL: www4.in.tum.de

Language: English - Date: 2007-08-26 06:05:19
229Vowels / Finite state transducer / Phonetics / Vowel harmony / Finite-state machine / Yoruba language / Mongolian language / Vowel / Advanced and retracted tongue root / Linguistics / Automata theory / Models of computation

Computational Characterizations of Vowel Harmony Patterns and Pathologies

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 13:01:20
230Mathematics / Formal languages / Computer science / Combinatorics on words / Theory of computation / Finite-state machine / Alphabet / Nondeterministic finite automaton / Computability / Automata theory / Models of computation / Theoretical computer science

Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-12-17 05:01:37
UPDATE